Inhalt des Dokuments
zur Navigation
Inhalt des Dokuments
Forschung
Artikel akzeptiert (EXPRESS'10)
Dienstag, 20. Juli 2010
Artikel "Breaking Symmetries" akzeptiert (Rate 10/22) für den 17th International Workshop on Expressiveness in Concurrency (Co-Autoren Kirstin Peters, Uwe Nestmann).